<?php

session_start();
$user = isset($_SESSION["user"])?$_SESSION["user"]:null;
$url = "article_list.php";
Header("Location: $url");


?>


